Results for 'Gabriela de Paiva Gomes Albuquerque'

1000+ found
Order:
  1. O agir do professor e suas reflexões sobre o ensino da resenha crítica.Gabriela de Paiva Gomes Albuquerque & Abuêndia Padilha Pinto - 2012 - In Maria José de Matos Luna & Vera Moura (eds.), Língua e literatura: perspectivas teórico-práticas. Recife: Editora Universitária UFPE.
     
    Export citation  
     
    Bookmark  
  2.  12
    A biblioteconomia brasileira na década de 1980: um olhar discursivo a partir dos artigos publicados na Revista de Biblioteconomia de Brasília.Gabrielle Francinne de S. C. Tanus, Gabriela Batista da Silva & Rita de Cássia Gomes de Oliveira - 2023 - Logeion Filosofia da Informação 9 (2):178-198.
    Os discursos da Biblioteconomia brasileira são objeto de estudo desta pesquisa, que se concentrou nos artigos publicados durante a década de 1980 na Revista de Biblioteconomia de Brasília. Essa revista, cujo primeiro número foi publicado em 1973, encerrou suas atividades em 2001 e teve como foco as áreas de Biblioteconomia, Ciência da Informação, Arquivologia e afins. Com a intenção de discutir sobre dois conceitos centrais da Biblioteconomia - o de biblioteca e o de bibliotecário - analisamos as produções que versavam (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  83
    “Return” and Extension Actions After Ethnobotanical Research: The Perceptions and Expectations of a Rural Community in Semi-arid Northeastern Brazil.Ulysses Paulino de Albuquerque, Luciana Gomes de Sousa Nascimento, Fabio José Vieira, Cybelle Maria de Albuquerque Duarte Almeida, Marcelo Alves Ramos & Ana Carolina Oliveira da Silva - 2012 - Journal of Agricultural and Environmental Ethics 25 (1):19-32.
    The scientific community has debated the importance of “return” activities after ethnobiological studies. This issue has provoked debate because it touches on the ethics of research and the relationships with the people involved in these studies. This case study aimed to investigate community perception of an ethnobotany research project that was carried out in the semi-arid region of northeastern Brazil. Furthermore, we reported how the residents of this rural community felt about participating in the activities of “return” that arose from (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  26
    Translation, Adaptation, and Validation of the Brazilian Version of the Dickman Impulsivity Inventory.K. V. Gomes Áurea, F. M. Diniz Leandro, M. Lage Guilherme, M. de Miranda Débora, J. de Paula Jonas, Costa Danielle & R. Albuquerque Maicon - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  96
    “Return” and Extension Actions After Ethnobotanical Research: The Perceptions and Expectations of a Rural Community in Semi-arid Northeastern Brazil. [REVIEW]Ulysses Paulino de Albuquerque, Luciana Gomes de Sousa Nascimento, Fabio José Vieira, Cybelle Maria de Albuquerque Duarte Almeida, Marcelo Alves Ramos & Ana Carolina Oliveira da Silva - 2012 - Journal of Agricultural and Environmental Ethics 25 (1):19-32.
    The scientific community has debated the importance of “return” activities after ethnobiological studies. This issue has provoked debate because it touches on the ethics of research and the relationships with the people involved in these studies. This case study aimed to investigate community perception of an ethnobotany research project that was carried out in the semi-arid region of northeastern Brazil. Furthermore, we reported how the residents of this rural community felt about participating in the activities of “return” that arose from (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  16
    Formação Do Estado Democrático de Direito e as Deformações a Partir Das Fake News.Pedro Ygor Café Paes Lira, Diego Henrique Barros Melo, Paulo Ricardo Silva Lima, Ana Lydia Vasco de Albuquerque Peixoto, Antônio Tancredo P. da Silva, Anderson de Alencar Menezes & Vitor Gomes da Silva - 2023 - Logeion Filosofia da Informação 10:14-37.
    A evolução dos meios de comunicação propiciou um massivo fluxo informacional, trazendo consigo alguns entraves. O fenômeno das fake news é produto dessa mudança na sociedade, afetando de diversas formas a vida das pessoas e inclusive a possibilidade de uma escolha plena e livre de influências, sua liberdade de expressão, pensamento e informação. Nesse contexto, este evento se torna gravoso para o nosso Estado Democrático, na medida que influencia o comportamento, as escolhas políticas, a conduta social e a solidez da (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  14
    Comparison Between Conventional Intervention and Non-immersive Virtual Reality in the Rehabilitation of Individuals in an Inpatient Unit for the Treatment of COVID-19: A Study Protocol for a Randomized Controlled Crossover Trial.Talita Dias da Silva, Patricia Mattos de Oliveira, Josiane Borges Dionizio, Andreia Paiva de Santana, Shayan Bahadori, Eduardo Dati Dias, Cinthia Mucci Ribeiro, Renata de Andrade Gomes, Marcelo Ferreira, Celso Ferreira, Íbis Ariana Peña de Moraes, Deise Mara Mota Silva, Viviani Barnabé, Luciano Vieira de Araújo, Heloísa Baccaro Rossetti Santana & Carlos Bandeira de Mello Monteiro - 2021 - Frontiers in Psychology 12:622618.
    Background: The new human coronavirus that leads to COVID-19 has spread rapidly around the world and has a high degree of lethality. In more severe cases, patients remain hospitalized for several days under treatment of the health team. Thus, it is important to develop and use technologies with the aim to strengthen conventional therapy by encouraging movement, physical activity, and improving cardiorespiratory fitness for patients. In this sense, therapies for exposure to virtual reality are promising and have been shown to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  54
    Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Strength and behavior of deep beams in shear.Ha Rawdon de Paiva & Chester P. Siess - 1965 - In Karl W. Linsenmann (ed.), Proceedings. St. Louis, Lutheran Academy for Scholarship.
     
    Export citation  
     
    Bookmark  
  10.  9
    A prática da observação sistemática para a formação do(a) psicólogo(a): relato de experiência.Gabriela de Paula Feriani, Camila Vassallo de Melo, Wanderlei Abadio de Oliveira & Letícia Lovato Dellazzana- Zanon - 2021 - Aletheia 54 (2):157-164.
    Este estudo tem como objetivo relatar a experiência de duas alunas matriculadas em uma disciplina de estágio básico com foco no desenvolvimento da observação sistemática. A experiência ocorreu em 2016, no contexto do quinto semestre do curso de Psicologia de uma universidade particular do estado de São Paulo. Os alunos matriculados na disciplina deveriam realizar 4 horas de observação e 2 horas de supervisão acadêmica por semana. Nove observações orientadas foram realizadas, partindo-se da observação aleatória até a realização de uma (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  13
    Quando a Religião Vai À Escola: Desafios e Perspectivas No Campo Educacional Brasileiro.Andréa Lúcia da Silva de Paiva - 2023 - Aprender-Caderno de Filosofia E Psicologia da Educação 29:47-66.
    Este trabalho propõe analisar a presença da religião em alguns espaços públicos educacionais. Por meio da metodologia da observação participante identificamos dois momentos que se articulam entre si: a influência da Escola sem Partido ao longo dos estágios docentes do curso de Ciências Sociais Licenciatura em Campos dos Goytacazes; e a presença de movimentos missionário cristãos, originários dos EUA, que visam influenciar a juventude estudantil evangélica a uma transformação social, nacional e mundial, no espaço universitário. Tais descrições nos traz questionamentos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  28
    Linear logic model of state revisited.V. de Paiva - 2014 - Logic Journal of the IGPL 22 (5):791-804.
    In an unpublished note Reddy introduced an extended intuitionistic linear calculus, called LLMS (for Linear Logic Model of State), to model state manipulation via the notions of sequential composition and ‘regenerative values’. His calculus introduces the connective ‘before’ ▹ and an associated modality †, for the storage of objects sequentially reusable. Earlier and independently de Paiva introduced a (collection of) dialectica categorical models for (classical and intuitionistic) Linear Logic, the categories Dial2Set. These categories contain, apart from the structure needed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  10
    Demônios E diabruras no Reino do leviatã.Wilson Alves de Paiva - 2006 - Philósophos - Revista de Filosofia 11 (2):305-330.
    The main objective of this paper – resulting from an academic speech at UFG (Universidade Federal de Goiás) -is to outline the importance of Thomas Hobbes’ most known political work: Leviathan. Taking the figure of a big marine monster, quite in the same sense of the biblical metaphor used in the dialogue between God and Job to introduce the danger or the benefit of a big power controlled by men, Hobbes’s arguments terrorized the Church but helped in creating new ways (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  21
    Influence of Sexual Genotype and Gender Self-Perception on Sociosexuality and Self-Esteem among Transgender People.Rodrigo de Menezes Gomes, Fívia de Araújo Lopes & Felipe Nalon Castro - 2020 - Human Nature 31 (4):483-496.
    Empirical data from studies with both heterosexual and homosexual individuals have consistently indicated different tendencies in mating behavior. However, transgenders’ data are often overlooked. This exploratory study compared levels of sociosexuality and self-esteem between transgenders and non-transgender (cisgender) individuals. The aim was to verify whether either sexual genotype or gender self-perception had more influence on the examined variables in transgenders. Correlations between self-esteem and sociosexuality levels were also investigated. The sample consisted of 120 Brazilian individuals (51 transgenders) from both sexes. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  9
    Educação.José Maria de Paiva - 2011 - Educação E Filosofia 25 (49):269-288.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  17
    Testemunha Dos Primeiros Passos: identidade cristã latino-americana eo paradigma pluralista em José Maria Vigil.Arnon de Miranda Gomes - 2010 - Horizonte 8 (18):221-222.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  14
    Tensión hacia Dios y el sentido simbólico de los nombres divinos en Dionisio Areopagita.Gabriela de los Ángeles Caram - 2019 - Universitas Philosophica 36 (73):93-119.
    The Divine Names explores the different names and metaphoric expressions used in the Bible to refer to God. Dionysius the Areopagite is known as an exponent of positive theology, in the sense that he offers an argumentative and explicit account of the nature of God, relying on the Scripture as a source of knowledge and truth, in contrast to the declared inability of apophatic or negative theology to communicate any knowledge of the divine. Indeed, the Areopagite resorts to the study (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  64
    Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
    In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  19. Recepción y desarrollo del argumento de contigüidad ontológica en el "Comentario a las Sentencias" de Tomás de Aquino.Gabriela de los Angeles Caram - 2013 - Estudios Filosóficos 62 (181):519-536.
     
    Export citation  
     
    Bookmark  
  20.  16
    Apresentação.Ana Lucia Nogueira de Paiva Britto - 2016 - Bakhtiniana 11 (1):9-13.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. A construção de mitos e os usos do passado nacional: Vargas e Perón: Brasil: Cultura-Memória.A. de Castro Gomes - 1997 - História 16:109-129.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.
    In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  23. The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, Uk
    This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24. A short note on intuitionistic propositional logic with multiple conclusions.Valéria de Paiva & Luiz Pereira - 2005 - Manuscrito 28 (2):317-329.
    A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  3
    Cartografia GelNE: 20 anos de pesquisas em linguística e literatura.Cleber Ataíde & Valéria Severina Gomes (eds.) - 2019 - Campinas, SP: Pontes.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  21
    Dialectica categories, cardinalities of the continuum and combinatorics of ideals.Samuel G. da Silva & Valeria C. V. de Paiva - 2017 - Logic Journal of the IGPL 25 (4):585-603.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. A new proof system for intuitionistic logic.Valeria de Paiva & Luiz C. Pereira - 1995 - Bulletin of Symbolic Logic 1 (1):101.
  28.  43
    Intuitionistic hybrid logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
    Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  29.  8
    Linguistic Issues in Language Technology Vol 9: Perspectives on Semantic Representations for Textual Inference (Volume 9).Cleo Condoravdi, Valeria Correa Vaz De Paiva & Annie Else Zaenen - 2013 - Stanford, CA, USA: MIT Press.
    Linguistic Issues in Language Technology (LiLT) is an open-access journal that focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, deeper and more sophisticated models of language and speech are needed to make significant progress in both existing and newly emerging areas of computational language analysis. The vast quantity of electronically accessible natural language data (text and speech, annotated and unannotated, formal and informal) provides unprecedented opportunities for data-intensive analysis of linguistic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  50
    Fortalecendo redes sociais: desafios e possibilidade na prevenção ao uso de drogas na atenção primária à saúde fortalecendo redes sociais.Fernando Santana de Paiva, Pedro Henrique Antunes da Costa & Telmo Mota Ronzani - 2012 - Revista Aletheia 37:57-72.
    O presente estudo procurou levantar desafios e possibilidades da incorporação das redes sociais no processo de implementação de ações preventivas ao uso de drogas na Atenção Primária à Saúde (APS). Trata-se de uma pesquisa-intervenção empregando as seguintes técnicas de coleta de dados: observação p..
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  16
    A Parresía Paulina e suas perspectivas: Uma análise teológica da linguagem franca a partir de Ef 6,19.Túlio Felipe de Paiva - 2016 - Revista de Teologia 10 (17):329-338.
    Within New Testament writings, but in a special way in Paul’s letters, we can observe a significant presence of the greek term parresía, or frank language. This term was not only a rhetorical-linguistic instrument, on Paul’s contemporary time, but an attitude made by the speaker, or by the epistolar author before his recipients. On Eph 6,19, we see this term and its relation with the evangelizing mission of the author. Moreover, this concept was not only a linguistic function for Paul’s (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Gilberto Freyre e Oliveira Lima: Casa grande e senzala eo contexto historiografico do início do século XX: Intelectuais e história.Angela de Castro Gomes - 2001 - História 20:29-44.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  10
    Linear explicit substitutions.N. Ghani, V. de Paiva & E. Ritter - 2000 - Logic Journal of the IGPL 8 (1):7-31.
    The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical structure and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Direito Autoral, Mp3 e a nova indústria da música.Jose Eduardo Ribeiro de Paiva - 2012 - Logos: Comuniação e Univerisdade 18 (2).
    Este artigo discute as transformações na indústria fonográfica desde os anos 90 provocadas pelo formato mp3, que, em uma primeira abordagem, é apontado como responsável pelo encolhimento da venda de discos e por promover a pirataria fonográfica em escala mundial. Neste recorte, conceitos como autoria, direito autoral e outros tem de ser repensados à luz desta tecnologia ao mesmo tempo em que se discute seu potencial criativo e sua capacidade de democratizar a produção sonora.
     
    Export citation  
     
    Bookmark  
  36. As palavras e os dias : páginas diarísticas (2007-2011) : algumas leituras.José Rodrigues de Paiva - 2012 - In Maria José de Matos Luna & Vera Moura (eds.), Língua e literatura: perspectivas teórico-práticas. Recife: Editora Universitária UFPE.
     
    Export citation  
     
    Bookmark  
  37.  17
    Da ontoteologia à ontoantropologia.Márcio Antonio de Paiva - 2005 - Horizonte 4 (7).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  24
    Fim da filosofia: uma imagem da filosofia contemporânea.Márcio Antônio de Paiva - 2004 - Horizonte 2 (4):33-48.
    O artigo analisa a questão do “fim da filosofia” no pensamento contemporâneo. Demarcando o embate da filosofia consigo mesma, com a ciência e com alguns pensadores da atualidade que ousaram tematizar o fim, busca, pela reflexão ética, restabelecer a filosofia como um autêntico saber humano. Palavras-chave: Filosofia; Ciência; Ética; Auto-superação; Niilismo. ABSTRACT This article analyses the issue of ‘the end of philosophy’ in contemporary thought. Setting the framework for the confrontation of philosophy with itself, with science and with some present-time (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  4
    Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160).Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant & Anjolina G. De Oliveira - 2015 - Springer.
    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Peri physeos psyches: Regarding the nature of the sole in Plato's phaedrus.Maria Aparecida de Paiva Montenegro - 2010 - Kriterion: Journal of Philosophy 51 (122):441-457.
     
    Export citation  
     
    Bookmark  
  41.  15
    El control del libro durante el Primer Franquismo - doi: 10.4025/dialogos.v18i1.850.Gabriela De Lima Grecco - 2014 - Dialogos 18 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  15
    Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 35-52.
    We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 35-52.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  40
    Deus: além do nome, além da significação (God: beyond the name, beyond the meaning) - DOI: 10.5752/P.2175-5841.2010v8n16p47. [REVIEW]Márcio Antônio de Paiva & Luiz Fernando Pires Dias - 2010 - Horizonte 8 (16):47-61.
    A história do pensamento ocidental, desde seus primórdios na Grécia Antiga até os tempos atuais, é transpassada pela questão de Deus, que mantém a sua relevância mesmo no contexto pós-metafísico no qual estamos inseridos. A busca pelo significado derradeiro da existência humana justapõe a questão do homem à questão de Deus, que adquire, dessa forma, um status imperativo. Mas, como articular o discurso sobre Deus na atual conjuntura, caracterizada por uma visão materialista e imediatista da existência humana? Em nossa reflexão, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    Escrito sobre as questões metafísicas de António André: scriptum super questiones methaphisice Antonii Andree.Gomes de Lisboa - 2018 - Porto: Edições Afrontamento. Edited by Mário João Correia & Gomes de Lisboa.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  3
    Questão muito útil sobre o sujeito de qualquer ciência, principalmente, porém, o da filosofia natural =.Gomes de Lisboa - 2016 - Porto: Edições Afrontamento. Edited by Mário João Correia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  1
    Questão muito útil sobre o objecto de qualquer ciência, e principalmente da filosofia natural =.Gomes de Lisboa - 1964 - Lisboa: Centro de Estudos de Psicologia e de História da Filosofia, anexo à Faculdade de Letras da Universidade de Lisboa. Edited by Miguel Pinto de Meneses & Joaquim Cerqueira Gonçalves.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. O sentido da existência em T. de Pascoaes. Mundo, Homem, Obra in Filosofia em Portugal (IV).M. F. de Rezende Gomes - 1989 - Revista Portuguesa de Filosofia 45 (1):71-96.
     
    Export citation  
     
    Bookmark  
  49.  87
    Elements of Categorical Logic: Fifty Years Later. [REVIEW]Valeria de Paiva & Andrei Rodin - 2013 - Logica Universalis 7 (3):265-273.
  50.  26
    Book Review: Percorsi di Psicologia della Religione alla luce della Psicoanalisi. [REVIEW]Geraldo Josέ de Paiva - 2011 - Archive for the Psychology of Religion 33 (2):271-274.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000